Brünnler. K; "Deep Sequent Systems for Modal Logic"
Kai Brünnler